New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Start a GRPC server. #15

Merged

jlewi merged 1 commit into main from jeremy/grpcserver

Apr 4, 2024

Owner

jlewi commented Apr 4, 2024

Stub out the executor service as a way of testing it.


          Start a GRPC server.

84aeb06

* Stub out the executor service as a way of testing it.

jlewi merged commit 48f9547 into main

1 check passed

jlewi deleted the jeremy/grpcserver branch

April 4, 2024 21:59

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet